Chú thích Microkernel

  1. ↑ Herder, Jorrit N. (ngày 23 tháng 2 năm 2005). “Toward a True Microkernel Operating System” (PDF). minix3.org. Truy cập ngày 22 tháng 6 năm 2015. 
  2. ↑ “What is MINIX 3?”. https://wiki.minix3.org/. Truy cập ngày 19 tháng 10 năm 2020. 
  3. ↑ “2002 Computer Pioneer Award Recipient”. IEEE Computer Society. Truy cập ngày 13 tháng 9 năm 2016. 
  4. ↑ Brinch Hansen, Per (2004). A Programmer's Story: The Life of a Computer Pioneer. Truy cập ngày 13 tháng 9 năm 2016. 
  5. ↑ Brinch Hansen, Per (1970). “The Nucleus of a Multiprogramming Operating System” (PDF). Communications of the ACM 13 (4): 238–250. doi:10.1145/362258.362278.  Đã bỏ qua tham số không rõ |citeseerx= (trợ giúp)
  6. ↑ .Wulf, William; Cohen, Ellis; Corwin, William; Jones, Anita; Levin, Roy; Pierson, C.; Pollack, Fred (tháng 6 năm 1974). “HYDRA: The Kernel of a Multiprocessor Operating System”. Communications of the ACM 17 (6): 337–345. doi:10.1145/355616.364017. 
  7. ↑ Sassenrath, Carl (1986). Amiga ROM Kernel Reference Manual. Exec. 
  8. ↑ Jim Magee. WWDC 2000 Session 106 - Mac OS X: Kernel. 14 phút. 
  9. ↑ “Porting UNIX/Linux Applications to Mac OS X”. Apple. Truy cập ngày 26 tháng 4 năm 2011. 
  10. 1 2 Liedtke, Jochen (tháng 9 năm 1996). “Towards Real Microkernels”. Communications of the ACM 39 (9): 70–77. doi:10.1145/234215.234473. 
  11. ↑ Heiser, Gernot; Uhlig, Volkmar; LeVasseur, Joshua (tháng 1 năm 2006). “Are Virtual-Machine Monitors Microkernels Done Right?” (PDF). ACM SIGOPS Operating Systems Review (ACM) 40 (1): 95–99. doi:10.1145/1113361.1113363. 
  12. ↑ Härtig, Hermann; Hohmuth, Michael; Liedtke, Jochen; Schönberg, Sebastian (tháng 10 năm 1997). “The performance of µ-kernel-based systems”. Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles: 66–77. ISBN 0-89791-916-5. doi:10.1145/268998.266660. 
  13. ↑ Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting; Elphinstone, Kevin (tháng 9 năm 2005). “User-level device drivers: achieved performance”. Journal of Computer Science and Technology 20 (5): 654–664. doi:10.1007/s11390-005-0654-4. 
  14. ↑ Tanenbaum, Andrew S.. “Tanenbaum-Torvalds debate, part II”. 
  15. ↑ Biggs, Simon; Lee, Damon; Heiser, Gernot (2018). “The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security”. Proceedings of the 9th Asia-Pacific Workshop on Systems. Jeju Island, Republic of Korea: Association for Computing Machinery. tr. 1–7. doi:10.1145/3265723.3265733. 
  16. ↑ Elkaduwe, Dhammika; Klein, Gerwin; Elphinstone, Kevin (2007). Verified Protection Model of the seL4 Microkernel. submitted for publication. 
  17. ↑ “TUD Home: Operating Systems: Research: Microkernel & Hypervisor”. Faculty of Computer Science. Technische Universität Dresden. Ngày 12 tháng 8 năm 2010. Truy cập ngày 5 tháng 11 năm 2011. 
  18. ↑ Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (tháng 2 năm 2014). “Comprehensive Formal Verification of an OS Microkernel”. ACM Transactions on Computer Systems 32 (1): 2:1–2:70. doi:10.1145/2560537. 
  19. ↑ David L. Mills and Poul-Henning Kamp (ngày 28 tháng 11 năm 2000). “The Nanokernel” (PDF). Truy cập ngày 28 tháng 8 năm 2017. 

Tài liệu tham khảo

WikiPedia: Microkernel http://www.byte.com:80/art/9401/sec8/art2.htm http://www.oreilly.com/catalog/opensources/book/ap... http://www.realworldtech.com/forums/index.cfm?acti... http://www.inf.tu-dresden.de/index.php?node_id=269... http://os.ibds.kit.edu/65_747.php http://citeseerx.ist.psu.edu/search?q=microkernel http://www.eecis.udel.edu/~mills/database/papers/n... http://brinch-hansen.net/memoirs/contents.html http://www.brinch-hansen.net/papers/1970a.pdf http://www.cs.vu.nl/~ast/reliable-os/